<?php
define('IN_PHP', true);
require('util.php');
require('functions.php');
session_start();
xmysql_connect();

$user = get_user();
do_logout($user);
session_destroy();
header('Location: index.php');
?>
